Normal tube

In topology, a normal tube to a smooth curve is a manifold defined as the union of all discs such that